School of Computer Science

Results: 3584



#Item
961

Hierarchical Higher-order Regression Forest Fields: An Application to 3D Indoor Scene Labelling Trung T. Pham, Ian Reid, Yasir Latif School of Computer Science The University of Adelaide

Add to Reading List

Source URL: users.cecs.anu.edu.au

Language: English - Date: 2015-10-06 02:20:48
    962

    StatVerif: Verification of Stateful Processes Myrto Arapinis Joshua Phillips Eike Ritter Mark D. Ryan {m.d.arapinis, e.ritter, j.phillips, m.d.ryan}@cs.bham.ac.uk School of Computer Science, University of Birmingham, UK

    Add to Reading List

    Source URL: www.cs.bham.ac.uk

    Language: English - Date: 2013-12-10 12:35:05
      963

      Axiomatizing GSOS with Predicates? Luca Aceto1 , Georgiana Caltais1 , Eugen-Ioan Goriac1 , and Anna Ingolfsdottir1 [luca,gcaltais10,egoriac10,annai]@ru.is ICE-TCS, School of Computer Science, Reykjavik University, Icelan

      Add to Reading List

      Source URL: www.ru.is

      Language: English - Date: 2011-02-19 16:38:35
        964

        Improved Quantum Algorithm for Triangle Finding via Combinatorial Arguments François Le Gall Department of Computer Science Graduate School of Information Science and Technology

        Add to Reading List

        Source URL: www.quantum-lab.org

        Language: English - Date: 2015-02-25 18:15:25
          965

          Decision Procedures for Multisets with Cardinality Constraints Ruzica Piskac and Viktor Kuncak School of Computer and Communication Science ´ Ecole

          Add to Reading List

          Source URL: www.mpi-sws.org

          Language: English - Date: 2008-01-26 05:09:58
            966

            An Improved Algorithm for Tor Circuit Scheduling Can Tang Ian Goldberg Cheriton School of Computer Science

            Add to Reading List

            Source URL: www.cypherpunks.ca

            Language: English - Date: 2010-07-15 08:47:15
              967

              STUDENT HANDBOOKMaster of Computational Data Science Program Language Technologies Institute School of Computer Science Carnegie Mellon University

              Add to Reading List

              Source URL: www.lti.cs.cmu.edu

              Language: English - Date: 2015-08-21 14:35:46
                968

                Prosenjit Bose School of Computer Science Carleton University 1125 Colonel By Drive Ottawa, ON, K1S 5B6 Canada.

                Add to Reading List

                Source URL: www.jitbose.ca

                Language: English - Date: 2015-09-19 01:16:42
                  969

                  Daniel F. Warren Department of Computer Science Center for Information System Security Studies and Research Naval Postgraduate School PhoneEmail:

                  Add to Reading List

                  Source URL: www.cisr.us

                  Language: English - Date: 2009-03-16 18:21:43
                    970

                    THE UNIVERSITY OF NEW SOUTH WALES SCHOOL OF COMPUTER SCIENCE AND ENGINEERING Evolving Neural Networks for Visual Processing Oliver Johan Coleman)

                    Add to Reading List

                    Source URL: eplex.cs.ucf.edu

                    Language: English - Date: 2010-12-05 02:27:49
                      UPDATE